formal methods
形式手法
abstract interpretation
automated theorem proving
Design by contract
Formal methods people
Formal specification
Formal verification
Formal system
model checking
software engineering
Specification language
/suto3/google.icon
formal methods
image
formal methods
define
formal methods
wikipedia
formal methods
weblio
formal methods
kotobank
formal methods
jisho
formal methods